<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<meta name="generator" content="Doxygen 1.8.9.1"/>
<title>opennars: aruntime/src/main/java/nars/io/Symbols.java Source File</title>
<link href="../../tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="../../jquery.js"></script>
<script type="text/javascript" src="../../dynsections.js"></script>
<link href="../../navtree.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="../../resize.js"></script>
<script type="text/javascript" src="../../navtreedata.js"></script>
<script type="text/javascript" src="../../navtree.js"></script>
<script type="text/javascript">
  $(document).ready(initResizable);
  $(window).load(resizeHeight);
</script>
<link href="../../search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="../../search/searchdata.js"></script>
<script type="text/javascript" src="../../search/search.js"></script>
<script type="text/javascript">
  $(document).ready(function() { init_search(); });
</script>
<link href="../../doxygen.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
 <tbody>
 <tr style="height: 56px;">
  <td style="padding-left: 0.5em;">
   <div id="projectname">opennars
   &#160;<span id="projectnumber">1.5.5</span>
   </div>
   <div id="projectbrief">1.5-ish</div>
  </td>
 </tr>
 </tbody>
</table>
</div>
<!-- end header part -->
<!-- Generated by Doxygen 1.8.9.1 -->
<script type="text/javascript">
var searchBox = new SearchBox("searchBox", "../../search",false,'Search');
</script>
  <div id="navrow1" class="tabs">
    <ul class="tablist">
      <li><a href="../../index.html"><span>Main&#160;Page</span></a></li>
      <li><a href="../../pages.html"><span>Related&#160;Pages</span></a></li>
      <li><a href="../../namespaces.html"><span>Packages</span></a></li>
      <li><a href="../../annotated.html"><span>Classes</span></a></li>
      <li class="current"><a href="../../files.html"><span>Files</span></a></li>
      <li>
        <div id="MSearchBox" class="MSearchBoxInactive">
        <span class="left">
          <img id="MSearchSelect" src="../../search/mag_sel.png"
               onmouseover="return searchBox.OnSearchSelectShow()"
               onmouseout="return searchBox.OnSearchSelectHide()"
               alt=""/>
          <input type="text" id="MSearchField" value="Search" accesskey="S"
               onfocus="searchBox.OnSearchFieldFocus(true)" 
               onblur="searchBox.OnSearchFieldFocus(false)" 
               onkeyup="searchBox.OnSearchFieldChange(event)"/>
          </span><span class="right">
            <a id="MSearchClose" href="javascript:searchBox.CloseResultsWindow()"><img id="MSearchCloseImg" border="0" src="../../search/close.png" alt=""/></a>
          </span>
        </div>
      </li>
    </ul>
  </div>
  <div id="navrow2" class="tabs2">
    <ul class="tablist">
      <li><a href="../../files.html"><span>File&#160;List</span></a></li>
    </ul>
  </div>
</div><!-- top -->
<div id="side-nav" class="ui-resizable side-nav-resizable">
  <div id="nav-tree">
    <div id="nav-tree-contents">
      <div id="nav-sync" class="sync"></div>
    </div>
  </div>
  <div id="splitbar" style="-moz-user-select:none;" 
       class="ui-resizable-handle">
  </div>
</div>
<script type="text/javascript">
$(document).ready(function(){initNavTree('d5/da0/Symbols_8java_source.html','../../');});
</script>
<div id="doc-content">
<!-- window showing the filter options -->
<div id="MSearchSelectWindow"
     onmouseover="return searchBox.OnSearchSelectShow()"
     onmouseout="return searchBox.OnSearchSelectHide()"
     onkeydown="return searchBox.OnSearchSelectKey(event)">
</div>

<!-- iframe showing the search results (closed by default) -->
<div id="MSearchResultsWindow">
<iframe src="javascript:void(0)" frameborder="0" 
        name="MSearchResults" id="MSearchResults">
</iframe>
</div>

<div class="header">
  <div class="headertitle">
<div class="title">Symbols.java</div>  </div>
</div><!--header-->
<div class="contents">
<a href="../../d5/da0/Symbols_8java.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;<span class="comment">/*</span></div>
<div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="comment"> * Symbols.java</span></div>
<div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="comment"> *</span></div>
<div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="comment"> * Copyright (C) 2008  Pei Wang</span></div>
<div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="comment"> *</span></div>
<div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;<span class="comment"> * This file is part of Open-NARS.</span></div>
<div class="line"><a name="l00007"></a><span class="lineno">    7</span>&#160;<span class="comment"> *</span></div>
<div class="line"><a name="l00008"></a><span class="lineno">    8</span>&#160;<span class="comment"> * Open-NARS is free software; you can redistribute it and/or modify</span></div>
<div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="comment"> * it under the terms of the GNU General Public License as published by</span></div>
<div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;<span class="comment"> * the Free Software Foundation, either version 2 of the License, or</span></div>
<div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;<span class="comment"> * (at your option) any later version.</span></div>
<div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;<span class="comment"> *</span></div>
<div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;<span class="comment"> * Open-NARS is distributed in the hope that it will be useful,</span></div>
<div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;<span class="comment"> * but WITHOUT ANY WARRANTY; without even the implied warranty of</span></div>
<div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;<span class="comment"> * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the</span></div>
<div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;<span class="comment"> * GNU General Public License for more details.</span></div>
<div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;<span class="comment"> *</span></div>
<div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;<span class="comment"> * You should have received a copy of the GNU General Public License</span></div>
<div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;<span class="comment"> * along with Open-NARS.  If not, see &lt;http://www.gnu.org/licenses/&gt;.</span></div>
<div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;<span class="comment"> */</span></div>
<div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;<span class="keyword">package </span>nars.io;</div>
<div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;</div>
<div class="line"><a name="l00026"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">   26</a></span>&#160;<span class="keyword">public</span> <span class="keyword">class </span><a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">Symbols</a> {</div>
<div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;</div>
<div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;    <span class="comment">/* sentence type and delimitors */</span></div>
<div class="line"><a name="l00029"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_a13b034b1bca44b2f3d3c8de6d1607047.html#a13b034b1bca44b2f3d3c8de6d1607047">   29</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> <span class="keywordtype">char</span> <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a13b034b1bca44b2f3d3c8de6d1607047.html#a13b034b1bca44b2f3d3c8de6d1607047">JUDGMENT_MARK</a> = <span class="charliteral">&#39;.&#39;</span>;</div>
<div class="line"><a name="l00030"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_a771c007b010d86c032ee6d181f080ed8.html#a771c007b010d86c032ee6d181f080ed8">   30</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> <span class="keywordtype">char</span> <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a771c007b010d86c032ee6d181f080ed8.html#a771c007b010d86c032ee6d181f080ed8">QUESTION_MARK</a> = <span class="charliteral">&#39;?&#39;</span>;</div>
<div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;</div>
<div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;    <span class="comment">/* variable type */</span></div>
<div class="line"><a name="l00033"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_a60c92a89535a54f54a72e20a5969536d.html#a60c92a89535a54f54a72e20a5969536d">   33</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> <span class="keywordtype">char</span> <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a60c92a89535a54f54a72e20a5969536d.html#a60c92a89535a54f54a72e20a5969536d">VAR_INDEPENDENT</a> = <span class="charliteral">&#39;$&#39;</span>;</div>
<div class="line"><a name="l00034"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_a3c9984ce55deb7819945871ce1fa3a82.html#a3c9984ce55deb7819945871ce1fa3a82">   34</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> <span class="keywordtype">char</span> <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a3c9984ce55deb7819945871ce1fa3a82.html#a3c9984ce55deb7819945871ce1fa3a82">VAR_DEPENDENT</a> = <span class="charliteral">&#39;#&#39;</span>;</div>
<div class="line"><a name="l00035"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_a9ff625a6eaec1b710eaec490ee8fc549.html#a9ff625a6eaec1b710eaec490ee8fc549">   35</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> <span class="keywordtype">char</span> <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a9ff625a6eaec1b710eaec490ee8fc549.html#a9ff625a6eaec1b710eaec490ee8fc549">VAR_QUERY</a> = <span class="charliteral">&#39;?&#39;</span>;</div>
<div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;</div>
<div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;    <span class="comment">/* numerical value delimitors, must be different from the Term delimitors */</span></div>
<div class="line"><a name="l00038"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_a42009f5202d1b120b098593f7b48dbad.html#a42009f5202d1b120b098593f7b48dbad">   38</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> <span class="keywordtype">char</span> <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a42009f5202d1b120b098593f7b48dbad.html#a42009f5202d1b120b098593f7b48dbad">BUDGET_VALUE_MARK</a> = <span class="charliteral">&#39;$&#39;</span>;</div>
<div class="line"><a name="l00039"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_a1487df93cb7e583ecaec1f9b8a7941cd.html#a1487df93cb7e583ecaec1f9b8a7941cd">   39</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> <span class="keywordtype">char</span> <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a1487df93cb7e583ecaec1f9b8a7941cd.html#a1487df93cb7e583ecaec1f9b8a7941cd">TRUTH_VALUE_MARK</a> = <span class="charliteral">&#39;%&#39;</span>;</div>
<div class="line"><a name="l00040"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_a303071a44dc2adfc5d1b0a51058b9eb4.html#a303071a44dc2adfc5d1b0a51058b9eb4">   40</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> <span class="keywordtype">char</span> <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a303071a44dc2adfc5d1b0a51058b9eb4.html#a303071a44dc2adfc5d1b0a51058b9eb4">VALUE_SEPARATOR</a> = <span class="charliteral">&#39;;&#39;</span>;</div>
<div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;</div>
<div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;    <span class="comment">/* CompountTerm delimitors, must use 4 different pairs */</span></div>
<div class="line"><a name="l00043"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_ae7288e11164656038caf396c2c4b7a58.html#ae7288e11164656038caf396c2c4b7a58">   43</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> <span class="keywordtype">char</span> <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_ae7288e11164656038caf396c2c4b7a58.html#ae7288e11164656038caf396c2c4b7a58">COMPOUND_TERM_OPENER</a> = <span class="charliteral">&#39;(&#39;</span>;</div>
<div class="line"><a name="l00044"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_ab9662b963cff657c1089b306d3594efe.html#ab9662b963cff657c1089b306d3594efe">   44</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> <span class="keywordtype">char</span> <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_ab9662b963cff657c1089b306d3594efe.html#ab9662b963cff657c1089b306d3594efe">COMPOUND_TERM_CLOSER</a> = <span class="charliteral">&#39;)&#39;</span>;</div>
<div class="line"><a name="l00045"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_abc6f38df6d7517b21ecf27b34da1a2ea.html#abc6f38df6d7517b21ecf27b34da1a2ea">   45</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> <span class="keywordtype">char</span> <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_abc6f38df6d7517b21ecf27b34da1a2ea.html#abc6f38df6d7517b21ecf27b34da1a2ea">STATEMENT_OPENER</a> = <span class="charliteral">&#39;&lt;&#39;</span>;</div>
<div class="line"><a name="l00046"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_a3c16442588a8be88035d635e13c8c486.html#a3c16442588a8be88035d635e13c8c486">   46</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> <span class="keywordtype">char</span> <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a3c16442588a8be88035d635e13c8c486.html#a3c16442588a8be88035d635e13c8c486">STATEMENT_CLOSER</a> = <span class="charliteral">&#39;&gt;&#39;</span>;</div>
<div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_a3bc6ba8295af16e7dc108ea61af132c4.html#a3bc6ba8295af16e7dc108ea61af132c4">   47</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> <span class="keywordtype">char</span> <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a3bc6ba8295af16e7dc108ea61af132c4.html#a3bc6ba8295af16e7dc108ea61af132c4">SET_EXT_OPENER</a> = <span class="charliteral">&#39;{&#39;</span>;</div>
<div class="line"><a name="l00048"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_aed850ddff0dd1a47065099f5fccd5dfe.html#aed850ddff0dd1a47065099f5fccd5dfe">   48</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> <span class="keywordtype">char</span> <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_aed850ddff0dd1a47065099f5fccd5dfe.html#aed850ddff0dd1a47065099f5fccd5dfe">SET_EXT_CLOSER</a> = <span class="charliteral">&#39;}&#39;</span>;</div>
<div class="line"><a name="l00049"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_a54fee577660cb416592b3ee290e6a7c5.html#a54fee577660cb416592b3ee290e6a7c5">   49</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> <span class="keywordtype">char</span> <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a54fee577660cb416592b3ee290e6a7c5.html#a54fee577660cb416592b3ee290e6a7c5">SET_INT_OPENER</a> = <span class="charliteral">&#39;[&#39;</span>;</div>
<div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_aea87151443aa0d48255ee040f32bd1d0.html#aea87151443aa0d48255ee040f32bd1d0">   50</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> <span class="keywordtype">char</span> <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_aea87151443aa0d48255ee040f32bd1d0.html#aea87151443aa0d48255ee040f32bd1d0">SET_INT_CLOSER</a> = <span class="charliteral">&#39;]&#39;</span>;</div>
<div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;</div>
<div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;    <span class="comment">/* special characors in argument list */</span></div>
<div class="line"><a name="l00053"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_ab78cb07d148cc233baf7f43ee8d302e9.html#ab78cb07d148cc233baf7f43ee8d302e9">   53</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> <span class="keywordtype">char</span> <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_ab78cb07d148cc233baf7f43ee8d302e9.html#ab78cb07d148cc233baf7f43ee8d302e9">ARGUMENT_SEPARATOR</a> = <span class="charliteral">&#39;,&#39;</span>;</div>
<div class="line"><a name="l00054"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_a3f863c930e8f4576f1fea1264175b2df.html#a3f863c930e8f4576f1fea1264175b2df">   54</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> <span class="keywordtype">char</span> <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a3f863c930e8f4576f1fea1264175b2df.html#a3f863c930e8f4576f1fea1264175b2df">IMAGE_PLACE_HOLDER</a> = <span class="charliteral">&#39;_&#39;</span>;</div>
<div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;</div>
<div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;    <span class="comment">/* CompountTerm operators, length = 1 */</span></div>
<div class="line"><a name="l00057"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_aa212451310e63f528feef0782ee2f47d.html#aa212451310e63f528feef0782ee2f47d">   57</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> String <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_aa212451310e63f528feef0782ee2f47d.html#aa212451310e63f528feef0782ee2f47d">INTERSECTION_EXT_OPERATOR</a> = <span class="stringliteral">&quot;&amp;&quot;</span>;</div>
<div class="line"><a name="l00058"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_af1c54fdf9aaf9940b09080bb3abf0029.html#af1c54fdf9aaf9940b09080bb3abf0029">   58</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> String <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_af1c54fdf9aaf9940b09080bb3abf0029.html#af1c54fdf9aaf9940b09080bb3abf0029">INTERSECTION_INT_OPERATOR</a> = <span class="stringliteral">&quot;|&quot;</span>;</div>
<div class="line"><a name="l00059"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_ad1172815e3ed394951eb79fd92d173d4.html#ad1172815e3ed394951eb79fd92d173d4">   59</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> String <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_ad1172815e3ed394951eb79fd92d173d4.html#ad1172815e3ed394951eb79fd92d173d4">DIFFERENCE_EXT_OPERATOR</a> = <span class="stringliteral">&quot;-&quot;</span>;</div>
<div class="line"><a name="l00060"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_ad314725cbe3608c918443097867dc24e.html#ad314725cbe3608c918443097867dc24e">   60</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> String <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_ad314725cbe3608c918443097867dc24e.html#ad314725cbe3608c918443097867dc24e">DIFFERENCE_INT_OPERATOR</a> = <span class="stringliteral">&quot;~&quot;</span>;</div>
<div class="line"><a name="l00061"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_adb227f1a29cc4678727515cde5bd34c9.html#adb227f1a29cc4678727515cde5bd34c9">   61</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> String <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_adb227f1a29cc4678727515cde5bd34c9.html#adb227f1a29cc4678727515cde5bd34c9">PRODUCT_OPERATOR</a> = <span class="stringliteral">&quot;*&quot;</span>;</div>
<div class="line"><a name="l00062"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_a71b8c0790cd38a4ad229405e996287d6.html#a71b8c0790cd38a4ad229405e996287d6">   62</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> String <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a71b8c0790cd38a4ad229405e996287d6.html#a71b8c0790cd38a4ad229405e996287d6">IMAGE_EXT_OPERATOR</a> = <span class="stringliteral">&quot;/&quot;</span>;</div>
<div class="line"><a name="l00063"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_a5bc9e12a9a70988c241652f088fa29d3.html#a5bc9e12a9a70988c241652f088fa29d3">   63</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> String <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a5bc9e12a9a70988c241652f088fa29d3.html#a5bc9e12a9a70988c241652f088fa29d3">IMAGE_INT_OPERATOR</a> = <span class="stringliteral">&quot;\\&quot;</span>;</div>
<div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;</div>
<div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;    <span class="comment">/* CompoundStatement operators, length = 2 */</span></div>
<div class="line"><a name="l00066"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_a135cac9f3b8eecfc2549ed9c445043ec.html#a135cac9f3b8eecfc2549ed9c445043ec">   66</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> String <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a135cac9f3b8eecfc2549ed9c445043ec.html#a135cac9f3b8eecfc2549ed9c445043ec">NEGATION_OPERATOR</a> = <span class="stringliteral">&quot;--&quot;</span>;</div>
<div class="line"><a name="l00067"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_ac0ff22736c16f3735a1783a30bedc141.html#ac0ff22736c16f3735a1783a30bedc141">   67</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> String <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_ac0ff22736c16f3735a1783a30bedc141.html#ac0ff22736c16f3735a1783a30bedc141">DISJUNCTION_OPERATOR</a> = <span class="stringliteral">&quot;||&quot;</span>;</div>
<div class="line"><a name="l00068"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_a030df2adb13fa53908e2edbac12fb085.html#a030df2adb13fa53908e2edbac12fb085">   68</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> String <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a030df2adb13fa53908e2edbac12fb085.html#a030df2adb13fa53908e2edbac12fb085">CONJUNCTION_OPERATOR</a> = <span class="stringliteral">&quot;&amp;&amp;&quot;</span>;</div>
<div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;</div>
<div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;    <span class="comment">/* built-in relations, length = 3 */</span></div>
<div class="line"><a name="l00071"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_a4cc13d42707f026e4a2a4d6bba7e1635.html#a4cc13d42707f026e4a2a4d6bba7e1635">   71</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> String <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a4cc13d42707f026e4a2a4d6bba7e1635.html#a4cc13d42707f026e4a2a4d6bba7e1635">INHERITANCE_RELATION</a> = <span class="stringliteral">&quot;--&gt;&quot;</span>;</div>
<div class="line"><a name="l00072"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_a9c0ff8bd5617739c2c93951e58049eab.html#a9c0ff8bd5617739c2c93951e58049eab">   72</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> String <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a9c0ff8bd5617739c2c93951e58049eab.html#a9c0ff8bd5617739c2c93951e58049eab">SIMILARITY_RELATION</a> = <span class="stringliteral">&quot;&lt;-&gt;&quot;</span>;</div>
<div class="line"><a name="l00073"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_abcccee8b2f7b0992521be0718e0fdc8a.html#abcccee8b2f7b0992521be0718e0fdc8a">   73</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> String <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_abcccee8b2f7b0992521be0718e0fdc8a.html#abcccee8b2f7b0992521be0718e0fdc8a">INSTANCE_RELATION</a> = <span class="stringliteral">&quot;{--&quot;</span>;</div>
<div class="line"><a name="l00074"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_a565eae9f1fa027ad0712476cbf0d2398.html#a565eae9f1fa027ad0712476cbf0d2398">   74</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> String <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a565eae9f1fa027ad0712476cbf0d2398.html#a565eae9f1fa027ad0712476cbf0d2398">PROPERTY_RELATION</a> = <span class="stringliteral">&quot;--]&quot;</span>;</div>
<div class="line"><a name="l00075"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_afc3ff871565bba0b944e02db5b3ea24c.html#afc3ff871565bba0b944e02db5b3ea24c">   75</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> String <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_afc3ff871565bba0b944e02db5b3ea24c.html#afc3ff871565bba0b944e02db5b3ea24c">INSTANCE_PROPERTY_RELATION</a> = <span class="stringliteral">&quot;{-]&quot;</span>;</div>
<div class="line"><a name="l00076"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_a3df4f4f66cb2a09646f614f5766500d7.html#a3df4f4f66cb2a09646f614f5766500d7">   76</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> String <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a3df4f4f66cb2a09646f614f5766500d7.html#a3df4f4f66cb2a09646f614f5766500d7">IMPLICATION_RELATION</a> = <span class="stringliteral">&quot;==&gt;&quot;</span>;</div>
<div class="line"><a name="l00077"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_ab336bc59878fd8aafb29594b482af438.html#ab336bc59878fd8aafb29594b482af438">   77</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> String <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_ab336bc59878fd8aafb29594b482af438.html#ab336bc59878fd8aafb29594b482af438">EQUIVALENCE_RELATION</a> = <span class="stringliteral">&quot;&lt;=&gt;&quot;</span>;</div>
<div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;</div>
<div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;    <span class="comment">/* experience line prefix */</span></div>
<div class="line"><a name="l00080"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_a75b6ca172df6ae3f0d06cf70d3d2ec1c.html#a75b6ca172df6ae3f0d06cf70d3d2ec1c">   80</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> String <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a75b6ca172df6ae3f0d06cf70d3d2ec1c.html#a75b6ca172df6ae3f0d06cf70d3d2ec1c">INPUT_LINE</a> = <span class="stringliteral">&quot;IN&quot;</span>;</div>
<div class="line"><a name="l00081"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_aa8d204dd29cc8dd9793f8dfe7c4ff979.html#aa8d204dd29cc8dd9793f8dfe7c4ff979">   81</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> String <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_aa8d204dd29cc8dd9793f8dfe7c4ff979.html#aa8d204dd29cc8dd9793f8dfe7c4ff979">OUTPUT_LINE</a> = <span class="stringliteral">&quot;OUT&quot;</span>;</div>
<div class="line"><a name="l00082"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_a52a0cc8bcdfeb683433fb4dfdd167554.html#a52a0cc8bcdfeb683433fb4dfdd167554">   82</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> <span class="keywordtype">char</span> <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a52a0cc8bcdfeb683433fb4dfdd167554.html#a52a0cc8bcdfeb683433fb4dfdd167554">PREFIX_MARK</a> = <span class="charliteral">&#39;:&#39;</span>;</div>
<div class="line"><a name="l00083"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_a5eb6e55e05ec108b04cba52bfc05606e.html#a5eb6e55e05ec108b04cba52bfc05606e">   83</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> <span class="keywordtype">char</span> <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a5eb6e55e05ec108b04cba52bfc05606e.html#a5eb6e55e05ec108b04cba52bfc05606e">RESET_MARK</a> = <span class="charliteral">&#39;*&#39;</span>;</div>
<div class="line"><a name="l00084"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_a47730a5d7d9ab257452f5ed89c32e8ba.html#a47730a5d7d9ab257452f5ed89c32e8ba">   84</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> <span class="keywordtype">char</span> <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a47730a5d7d9ab257452f5ed89c32e8ba.html#a47730a5d7d9ab257452f5ed89c32e8ba">COMMENT_MARK</a> = <span class="charliteral">&#39;/&#39;</span>;</div>
<div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;</div>
<div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;    <span class="comment">/* Stamp, display only */</span></div>
<div class="line"><a name="l00087"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_a8543cf41a20f45b3e2ece8b7969ed15b.html#a8543cf41a20f45b3e2ece8b7969ed15b">   87</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> <span class="keywordtype">char</span> <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a8543cf41a20f45b3e2ece8b7969ed15b.html#a8543cf41a20f45b3e2ece8b7969ed15b">STAMP_OPENER</a> = <span class="charliteral">&#39;{&#39;</span>;</div>
<div class="line"><a name="l00088"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_a773509e7bc6cbf7b365c90fc2e48dc6b.html#a773509e7bc6cbf7b365c90fc2e48dc6b">   88</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> <span class="keywordtype">char</span> <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a773509e7bc6cbf7b365c90fc2e48dc6b.html#a773509e7bc6cbf7b365c90fc2e48dc6b">STAMP_CLOSER</a> = <span class="charliteral">&#39;}&#39;</span>;</div>
<div class="line"><a name="l00089"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_a6cad38feaf42bcf66200d6f94d6b64d9.html#a6cad38feaf42bcf66200d6f94d6b64d9">   89</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> <span class="keywordtype">char</span> <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a6cad38feaf42bcf66200d6f94d6b64d9.html#a6cad38feaf42bcf66200d6f94d6b64d9">STAMP_SEPARATOR</a> = <span class="charliteral">&#39;;&#39;</span>;</div>
<div class="line"><a name="l00090"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_a1e0854a68bd5d3c6a4162e53e77a2c8e.html#a1e0854a68bd5d3c6a4162e53e77a2c8e">   90</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> <span class="keywordtype">char</span> <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a1e0854a68bd5d3c6a4162e53e77a2c8e.html#a1e0854a68bd5d3c6a4162e53e77a2c8e">STAMP_STARTER</a> = <span class="charliteral">&#39;:&#39;</span>;</div>
<div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;</div>
<div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;    <span class="comment">/* TermLink type, display only */</span></div>
<div class="line"><a name="l00093"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_a4626e70aa35458e9ecf0534121e03488.html#a4626e70aa35458e9ecf0534121e03488">   93</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> String <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a4626e70aa35458e9ecf0534121e03488.html#a4626e70aa35458e9ecf0534121e03488">TO_COMPONENT_1</a> = <span class="stringliteral">&quot; @(&quot;</span>;</div>
<div class="line"><a name="l00094"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_a6ceca743ff986525a2770f5627168298.html#a6ceca743ff986525a2770f5627168298">   94</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> String <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a6ceca743ff986525a2770f5627168298.html#a6ceca743ff986525a2770f5627168298">TO_COMPONENT_2</a> = <span class="stringliteral">&quot;)_ &quot;</span>;</div>
<div class="line"><a name="l00095"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_a72e892adedf653841dfd05f3cb7740a7.html#a72e892adedf653841dfd05f3cb7740a7">   95</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> String <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a72e892adedf653841dfd05f3cb7740a7.html#a72e892adedf653841dfd05f3cb7740a7">TO_COMPOUND_1</a> = <span class="stringliteral">&quot; _@(&quot;</span>;</div>
<div class="line"><a name="l00096"></a><span class="lineno"><a class="line" href="../../dc/d71/classnars_1_1io_1_1Symbols_a3aa066a31ca0440f1524b45be790127c.html#a3aa066a31ca0440f1524b45be790127c">   96</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> String <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a3aa066a31ca0440f1524b45be790127c.html#a3aa066a31ca0440f1524b45be790127c">TO_COMPOUND_2</a> = <span class="stringliteral">&quot;) &quot;</span>;</div>
<div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;}</div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a52a0cc8bcdfeb683433fb4dfdd167554_html_a52a0cc8bcdfeb683433fb4dfdd167554"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a52a0cc8bcdfeb683433fb4dfdd167554.html#a52a0cc8bcdfeb683433fb4dfdd167554">nars.io.Symbols.PREFIX_MARK</a></div><div class="ttdeci">static final char PREFIX_MARK</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00082">Symbols.java:82</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a3df4f4f66cb2a09646f614f5766500d7_html_a3df4f4f66cb2a09646f614f5766500d7"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a3df4f4f66cb2a09646f614f5766500d7.html#a3df4f4f66cb2a09646f614f5766500d7">nars.io.Symbols.IMPLICATION_RELATION</a></div><div class="ttdeci">static final String IMPLICATION_RELATION</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00076">Symbols.java:76</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a71b8c0790cd38a4ad229405e996287d6_html_a71b8c0790cd38a4ad229405e996287d6"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a71b8c0790cd38a4ad229405e996287d6.html#a71b8c0790cd38a4ad229405e996287d6">nars.io.Symbols.IMAGE_EXT_OPERATOR</a></div><div class="ttdeci">static final String IMAGE_EXT_OPERATOR</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00062">Symbols.java:62</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_afc3ff871565bba0b944e02db5b3ea24c_html_afc3ff871565bba0b944e02db5b3ea24c"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_afc3ff871565bba0b944e02db5b3ea24c.html#afc3ff871565bba0b944e02db5b3ea24c">nars.io.Symbols.INSTANCE_PROPERTY_RELATION</a></div><div class="ttdeci">static final String INSTANCE_PROPERTY_RELATION</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00075">Symbols.java:75</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a3c16442588a8be88035d635e13c8c486_html_a3c16442588a8be88035d635e13c8c486"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a3c16442588a8be88035d635e13c8c486.html#a3c16442588a8be88035d635e13c8c486">nars.io.Symbols.STATEMENT_CLOSER</a></div><div class="ttdeci">static final char STATEMENT_CLOSER</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00046">Symbols.java:46</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a6ceca743ff986525a2770f5627168298_html_a6ceca743ff986525a2770f5627168298"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a6ceca743ff986525a2770f5627168298.html#a6ceca743ff986525a2770f5627168298">nars.io.Symbols.TO_COMPONENT_2</a></div><div class="ttdeci">static final String TO_COMPONENT_2</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00094">Symbols.java:94</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a030df2adb13fa53908e2edbac12fb085_html_a030df2adb13fa53908e2edbac12fb085"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a030df2adb13fa53908e2edbac12fb085.html#a030df2adb13fa53908e2edbac12fb085">nars.io.Symbols.CONJUNCTION_OPERATOR</a></div><div class="ttdeci">static final String CONJUNCTION_OPERATOR</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00068">Symbols.java:68</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a773509e7bc6cbf7b365c90fc2e48dc6b_html_a773509e7bc6cbf7b365c90fc2e48dc6b"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a773509e7bc6cbf7b365c90fc2e48dc6b.html#a773509e7bc6cbf7b365c90fc2e48dc6b">nars.io.Symbols.STAMP_CLOSER</a></div><div class="ttdeci">static final char STAMP_CLOSER</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00088">Symbols.java:88</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a8543cf41a20f45b3e2ece8b7969ed15b_html_a8543cf41a20f45b3e2ece8b7969ed15b"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a8543cf41a20f45b3e2ece8b7969ed15b.html#a8543cf41a20f45b3e2ece8b7969ed15b">nars.io.Symbols.STAMP_OPENER</a></div><div class="ttdeci">static final char STAMP_OPENER</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00087">Symbols.java:87</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_ab78cb07d148cc233baf7f43ee8d302e9_html_ab78cb07d148cc233baf7f43ee8d302e9"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_ab78cb07d148cc233baf7f43ee8d302e9.html#ab78cb07d148cc233baf7f43ee8d302e9">nars.io.Symbols.ARGUMENT_SEPARATOR</a></div><div class="ttdeci">static final char ARGUMENT_SEPARATOR</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00053">Symbols.java:53</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_abcccee8b2f7b0992521be0718e0fdc8a_html_abcccee8b2f7b0992521be0718e0fdc8a"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_abcccee8b2f7b0992521be0718e0fdc8a.html#abcccee8b2f7b0992521be0718e0fdc8a">nars.io.Symbols.INSTANCE_RELATION</a></div><div class="ttdeci">static final String INSTANCE_RELATION</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00073">Symbols.java:73</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a75b6ca172df6ae3f0d06cf70d3d2ec1c_html_a75b6ca172df6ae3f0d06cf70d3d2ec1c"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a75b6ca172df6ae3f0d06cf70d3d2ec1c.html#a75b6ca172df6ae3f0d06cf70d3d2ec1c">nars.io.Symbols.INPUT_LINE</a></div><div class="ttdeci">static final String INPUT_LINE</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00080">Symbols.java:80</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a4626e70aa35458e9ecf0534121e03488_html_a4626e70aa35458e9ecf0534121e03488"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a4626e70aa35458e9ecf0534121e03488.html#a4626e70aa35458e9ecf0534121e03488">nars.io.Symbols.TO_COMPONENT_1</a></div><div class="ttdeci">static final String TO_COMPONENT_1</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00093">Symbols.java:93</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a13b034b1bca44b2f3d3c8de6d1607047_html_a13b034b1bca44b2f3d3c8de6d1607047"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a13b034b1bca44b2f3d3c8de6d1607047.html#a13b034b1bca44b2f3d3c8de6d1607047">nars.io.Symbols.JUDGMENT_MARK</a></div><div class="ttdeci">static final char JUDGMENT_MARK</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00029">Symbols.java:29</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a5eb6e55e05ec108b04cba52bfc05606e_html_a5eb6e55e05ec108b04cba52bfc05606e"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a5eb6e55e05ec108b04cba52bfc05606e.html#a5eb6e55e05ec108b04cba52bfc05606e">nars.io.Symbols.RESET_MARK</a></div><div class="ttdeci">static final char RESET_MARK</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00083">Symbols.java:83</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_ab9662b963cff657c1089b306d3594efe_html_ab9662b963cff657c1089b306d3594efe"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_ab9662b963cff657c1089b306d3594efe.html#ab9662b963cff657c1089b306d3594efe">nars.io.Symbols.COMPOUND_TERM_CLOSER</a></div><div class="ttdeci">static final char COMPOUND_TERM_CLOSER</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00044">Symbols.java:44</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a3f863c930e8f4576f1fea1264175b2df_html_a3f863c930e8f4576f1fea1264175b2df"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a3f863c930e8f4576f1fea1264175b2df.html#a3f863c930e8f4576f1fea1264175b2df">nars.io.Symbols.IMAGE_PLACE_HOLDER</a></div><div class="ttdeci">static final char IMAGE_PLACE_HOLDER</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00054">Symbols.java:54</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a3aa066a31ca0440f1524b45be790127c_html_a3aa066a31ca0440f1524b45be790127c"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a3aa066a31ca0440f1524b45be790127c.html#a3aa066a31ca0440f1524b45be790127c">nars.io.Symbols.TO_COMPOUND_2</a></div><div class="ttdeci">static final String TO_COMPOUND_2</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00096">Symbols.java:96</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a303071a44dc2adfc5d1b0a51058b9eb4_html_a303071a44dc2adfc5d1b0a51058b9eb4"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a303071a44dc2adfc5d1b0a51058b9eb4.html#a303071a44dc2adfc5d1b0a51058b9eb4">nars.io.Symbols.VALUE_SEPARATOR</a></div><div class="ttdeci">static final char VALUE_SEPARATOR</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00040">Symbols.java:40</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_html"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols.html">nars.io.Symbols</a></div><div class="ttdoc">The ASCII symbols used in I/O. </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00026">Symbols.java:26</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_adb227f1a29cc4678727515cde5bd34c9_html_adb227f1a29cc4678727515cde5bd34c9"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_adb227f1a29cc4678727515cde5bd34c9.html#adb227f1a29cc4678727515cde5bd34c9">nars.io.Symbols.PRODUCT_OPERATOR</a></div><div class="ttdeci">static final String PRODUCT_OPERATOR</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00061">Symbols.java:61</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_ac0ff22736c16f3735a1783a30bedc141_html_ac0ff22736c16f3735a1783a30bedc141"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_ac0ff22736c16f3735a1783a30bedc141.html#ac0ff22736c16f3735a1783a30bedc141">nars.io.Symbols.DISJUNCTION_OPERATOR</a></div><div class="ttdeci">static final String DISJUNCTION_OPERATOR</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00067">Symbols.java:67</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a5bc9e12a9a70988c241652f088fa29d3_html_a5bc9e12a9a70988c241652f088fa29d3"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a5bc9e12a9a70988c241652f088fa29d3.html#a5bc9e12a9a70988c241652f088fa29d3">nars.io.Symbols.IMAGE_INT_OPERATOR</a></div><div class="ttdeci">static final String IMAGE_INT_OPERATOR</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00063">Symbols.java:63</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_ab336bc59878fd8aafb29594b482af438_html_ab336bc59878fd8aafb29594b482af438"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_ab336bc59878fd8aafb29594b482af438.html#ab336bc59878fd8aafb29594b482af438">nars.io.Symbols.EQUIVALENCE_RELATION</a></div><div class="ttdeci">static final String EQUIVALENCE_RELATION</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00077">Symbols.java:77</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_aa8d204dd29cc8dd9793f8dfe7c4ff979_html_aa8d204dd29cc8dd9793f8dfe7c4ff979"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_aa8d204dd29cc8dd9793f8dfe7c4ff979.html#aa8d204dd29cc8dd9793f8dfe7c4ff979">nars.io.Symbols.OUTPUT_LINE</a></div><div class="ttdeci">static final String OUTPUT_LINE</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00081">Symbols.java:81</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a6cad38feaf42bcf66200d6f94d6b64d9_html_a6cad38feaf42bcf66200d6f94d6b64d9"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a6cad38feaf42bcf66200d6f94d6b64d9.html#a6cad38feaf42bcf66200d6f94d6b64d9">nars.io.Symbols.STAMP_SEPARATOR</a></div><div class="ttdeci">static final char STAMP_SEPARATOR</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00089">Symbols.java:89</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_ad314725cbe3608c918443097867dc24e_html_ad314725cbe3608c918443097867dc24e"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_ad314725cbe3608c918443097867dc24e.html#ad314725cbe3608c918443097867dc24e">nars.io.Symbols.DIFFERENCE_INT_OPERATOR</a></div><div class="ttdeci">static final String DIFFERENCE_INT_OPERATOR</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00060">Symbols.java:60</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_ae7288e11164656038caf396c2c4b7a58_html_ae7288e11164656038caf396c2c4b7a58"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_ae7288e11164656038caf396c2c4b7a58.html#ae7288e11164656038caf396c2c4b7a58">nars.io.Symbols.COMPOUND_TERM_OPENER</a></div><div class="ttdeci">static final char COMPOUND_TERM_OPENER</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00043">Symbols.java:43</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a565eae9f1fa027ad0712476cbf0d2398_html_a565eae9f1fa027ad0712476cbf0d2398"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a565eae9f1fa027ad0712476cbf0d2398.html#a565eae9f1fa027ad0712476cbf0d2398">nars.io.Symbols.PROPERTY_RELATION</a></div><div class="ttdeci">static final String PROPERTY_RELATION</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00074">Symbols.java:74</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a4cc13d42707f026e4a2a4d6bba7e1635_html_a4cc13d42707f026e4a2a4d6bba7e1635"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a4cc13d42707f026e4a2a4d6bba7e1635.html#a4cc13d42707f026e4a2a4d6bba7e1635">nars.io.Symbols.INHERITANCE_RELATION</a></div><div class="ttdeci">static final String INHERITANCE_RELATION</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00071">Symbols.java:71</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a47730a5d7d9ab257452f5ed89c32e8ba_html_a47730a5d7d9ab257452f5ed89c32e8ba"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a47730a5d7d9ab257452f5ed89c32e8ba.html#a47730a5d7d9ab257452f5ed89c32e8ba">nars.io.Symbols.COMMENT_MARK</a></div><div class="ttdeci">static final char COMMENT_MARK</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00084">Symbols.java:84</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a3c9984ce55deb7819945871ce1fa3a82_html_a3c9984ce55deb7819945871ce1fa3a82"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a3c9984ce55deb7819945871ce1fa3a82.html#a3c9984ce55deb7819945871ce1fa3a82">nars.io.Symbols.VAR_DEPENDENT</a></div><div class="ttdeci">static final char VAR_DEPENDENT</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00034">Symbols.java:34</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a9ff625a6eaec1b710eaec490ee8fc549_html_a9ff625a6eaec1b710eaec490ee8fc549"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a9ff625a6eaec1b710eaec490ee8fc549.html#a9ff625a6eaec1b710eaec490ee8fc549">nars.io.Symbols.VAR_QUERY</a></div><div class="ttdeci">static final char VAR_QUERY</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00035">Symbols.java:35</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a3bc6ba8295af16e7dc108ea61af132c4_html_a3bc6ba8295af16e7dc108ea61af132c4"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a3bc6ba8295af16e7dc108ea61af132c4.html#a3bc6ba8295af16e7dc108ea61af132c4">nars.io.Symbols.SET_EXT_OPENER</a></div><div class="ttdeci">static final char SET_EXT_OPENER</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00047">Symbols.java:47</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_af1c54fdf9aaf9940b09080bb3abf0029_html_af1c54fdf9aaf9940b09080bb3abf0029"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_af1c54fdf9aaf9940b09080bb3abf0029.html#af1c54fdf9aaf9940b09080bb3abf0029">nars.io.Symbols.INTERSECTION_INT_OPERATOR</a></div><div class="ttdeci">static final String INTERSECTION_INT_OPERATOR</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00058">Symbols.java:58</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_aed850ddff0dd1a47065099f5fccd5dfe_html_aed850ddff0dd1a47065099f5fccd5dfe"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_aed850ddff0dd1a47065099f5fccd5dfe.html#aed850ddff0dd1a47065099f5fccd5dfe">nars.io.Symbols.SET_EXT_CLOSER</a></div><div class="ttdeci">static final char SET_EXT_CLOSER</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00048">Symbols.java:48</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a54fee577660cb416592b3ee290e6a7c5_html_a54fee577660cb416592b3ee290e6a7c5"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a54fee577660cb416592b3ee290e6a7c5.html#a54fee577660cb416592b3ee290e6a7c5">nars.io.Symbols.SET_INT_OPENER</a></div><div class="ttdeci">static final char SET_INT_OPENER</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00049">Symbols.java:49</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a771c007b010d86c032ee6d181f080ed8_html_a771c007b010d86c032ee6d181f080ed8"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a771c007b010d86c032ee6d181f080ed8.html#a771c007b010d86c032ee6d181f080ed8">nars.io.Symbols.QUESTION_MARK</a></div><div class="ttdeci">static final char QUESTION_MARK</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00030">Symbols.java:30</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a42009f5202d1b120b098593f7b48dbad_html_a42009f5202d1b120b098593f7b48dbad"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a42009f5202d1b120b098593f7b48dbad.html#a42009f5202d1b120b098593f7b48dbad">nars.io.Symbols.BUDGET_VALUE_MARK</a></div><div class="ttdeci">static final char BUDGET_VALUE_MARK</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00038">Symbols.java:38</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a1e0854a68bd5d3c6a4162e53e77a2c8e_html_a1e0854a68bd5d3c6a4162e53e77a2c8e"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a1e0854a68bd5d3c6a4162e53e77a2c8e.html#a1e0854a68bd5d3c6a4162e53e77a2c8e">nars.io.Symbols.STAMP_STARTER</a></div><div class="ttdeci">static final char STAMP_STARTER</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00090">Symbols.java:90</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_abc6f38df6d7517b21ecf27b34da1a2ea_html_abc6f38df6d7517b21ecf27b34da1a2ea"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_abc6f38df6d7517b21ecf27b34da1a2ea.html#abc6f38df6d7517b21ecf27b34da1a2ea">nars.io.Symbols.STATEMENT_OPENER</a></div><div class="ttdeci">static final char STATEMENT_OPENER</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00045">Symbols.java:45</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a60c92a89535a54f54a72e20a5969536d_html_a60c92a89535a54f54a72e20a5969536d"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a60c92a89535a54f54a72e20a5969536d.html#a60c92a89535a54f54a72e20a5969536d">nars.io.Symbols.VAR_INDEPENDENT</a></div><div class="ttdeci">static final char VAR_INDEPENDENT</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00033">Symbols.java:33</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a135cac9f3b8eecfc2549ed9c445043ec_html_a135cac9f3b8eecfc2549ed9c445043ec"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a135cac9f3b8eecfc2549ed9c445043ec.html#a135cac9f3b8eecfc2549ed9c445043ec">nars.io.Symbols.NEGATION_OPERATOR</a></div><div class="ttdeci">static final String NEGATION_OPERATOR</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00066">Symbols.java:66</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a1487df93cb7e583ecaec1f9b8a7941cd_html_a1487df93cb7e583ecaec1f9b8a7941cd"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a1487df93cb7e583ecaec1f9b8a7941cd.html#a1487df93cb7e583ecaec1f9b8a7941cd">nars.io.Symbols.TRUTH_VALUE_MARK</a></div><div class="ttdeci">static final char TRUTH_VALUE_MARK</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00039">Symbols.java:39</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a72e892adedf653841dfd05f3cb7740a7_html_a72e892adedf653841dfd05f3cb7740a7"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a72e892adedf653841dfd05f3cb7740a7.html#a72e892adedf653841dfd05f3cb7740a7">nars.io.Symbols.TO_COMPOUND_1</a></div><div class="ttdeci">static final String TO_COMPOUND_1</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00095">Symbols.java:95</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a9c0ff8bd5617739c2c93951e58049eab_html_a9c0ff8bd5617739c2c93951e58049eab"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a9c0ff8bd5617739c2c93951e58049eab.html#a9c0ff8bd5617739c2c93951e58049eab">nars.io.Symbols.SIMILARITY_RELATION</a></div><div class="ttdeci">static final String SIMILARITY_RELATION</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00072">Symbols.java:72</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_aa212451310e63f528feef0782ee2f47d_html_aa212451310e63f528feef0782ee2f47d"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_aa212451310e63f528feef0782ee2f47d.html#aa212451310e63f528feef0782ee2f47d">nars.io.Symbols.INTERSECTION_EXT_OPERATOR</a></div><div class="ttdeci">static final String INTERSECTION_EXT_OPERATOR</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00057">Symbols.java:57</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_aea87151443aa0d48255ee040f32bd1d0_html_aea87151443aa0d48255ee040f32bd1d0"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_aea87151443aa0d48255ee040f32bd1d0.html#aea87151443aa0d48255ee040f32bd1d0">nars.io.Symbols.SET_INT_CLOSER</a></div><div class="ttdeci">static final char SET_INT_CLOSER</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00050">Symbols.java:50</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_ad1172815e3ed394951eb79fd92d173d4_html_ad1172815e3ed394951eb79fd92d173d4"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_ad1172815e3ed394951eb79fd92d173d4.html#ad1172815e3ed394951eb79fd92d173d4">nars.io.Symbols.DIFFERENCE_EXT_OPERATOR</a></div><div class="ttdeci">static final String DIFFERENCE_EXT_OPERATOR</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00059">Symbols.java:59</a></div></div>
</div><!-- fragment --></div><!-- contents -->
</div><!-- doc-content -->
<!-- start footer part -->
<div id="nav-path" class="navpath"><!-- id is needed for treeview function! -->
  <ul>
    <li class="navelem"><a class="el" href="../../dir_ed82ebcd34e530b246c6fd9032262140.html">aruntime</a></li><li class="navelem"><a class="el" href="../../dir_19496ddff8e6c0f2b6654287ecb1a472.html">src</a></li><li class="navelem"><a class="el" href="../../dir_db9c5934f797909f7296c2c2017f7fc9.html">main</a></li><li class="navelem"><a class="el" href="../../dir_6d74390eb6d6287951075e525bcb9bed.html">java</a></li><li class="navelem"><a class="el" href="../../dir_51a24984472456d47100350cd31f9a7c.html">nars</a></li><li class="navelem"><a class="el" href="../../dir_aab9dfc51d7cf7443c970bdaa3292fa7.html">io</a></li><li class="navelem"><a class="el" href="../../d5/da0/Symbols_8java.html">Symbols.java</a></li>
    <li class="footer">Generated on Sun Jan 10 2016 18:03:58 for opennars by
    <a href="http://www.doxygen.org/index.html">
    <img class="footer" src="../../doxygen.png" alt="doxygen"/></a> 1.8.9.1 </li>
  </ul>
</div>
</body>
</html>
